Branching on multi-aggregated variables

open5siopenGamrath, Gerald; Melchiori, Anna; Berthold, Timo; Gleixner, Ambros M.; Salvagnin, DomenicoGamrath, Gerald; Melchiori, Anna; Berthold, Timo; Gleixner, Ambros M.; Salvagnin, Domenic

Quantifying within-city inequalities in child mortality across neighbourhoods in Accra, Ghana: a Bayesian spatial analysis

Objective Countries in sub-Saharan Africa suffer the highest rates of child mortality worldwide. Urban areas tend to have lower mortality than rural areas, but these comparisons likely mask large within-city inequalities. We aimed to estimate rates of under-five mortality (U5M) at the neighbourhood level for Ghana’s Greater Accra Metropolitan Area (GAMA) and measure the extent of intraurban inequalities. Methods We accessed data on >700 000 women aged 25–49 years living in GAMA using the most recent Ghana census (2010). We summarised counts of child births and deaths by five-year age group of women and neighbourhood (n=406) and applied indirect demographic methods to convert the summaries to yearly probabilities of death before age five years. We fitted a Bayesian spatiotemporal model to the neighbourhood U5M probabilities to obtain estimates for the year 2010 and examined their correlations with indicators of neighbourhood living and socioeconomic conditions. Results U5M varied almost five-fold across neighbourhoods in GAMA in 2010, ranging from 28 (95% credible interval (CrI) 8 to 63) to 138 (95% CrI 111 to 167) deaths per 1000 live births. U5M was highest in neighbourhoods of the central urban core and industrial areas, with an average of 95 deaths per 1000 live births across these neighbourhoods. Peri-urban neighbourhoods performed better, on average, but rates varied more across neighbourhoods compared with neighbourhoods in the central urban areas. U5M was negatively correlated with multiple indicators of improved living and socioeconomic conditions among peri-urban neighbourhoods. Among urban neighbourhoods, correlations with these factors were weaker or, in some cases, reversed, including with median household consumption and women’s schooling. Conclusion Reducing child mortality in high-burden urban neighbourhoods in GAMA, where a substantial portion of the urban population resides, should be prioritised as part of continued efforts to meet the Sustainable Development Goal national target of less than 25 deaths per 1000 live births

Short- and Long-Term Results of Open Versus Laparoscopic Appendectomy

Clinical advantages of laparoscopic appendectomy have been shown in numerous trials and reviews. Most of these advantages are small and of limited clinical relevance, while laparoscopic operation costs are reported to be higher. The present study compares short- and long-term results of conventional appendectomy with or without diagnostic laparoscopy (OA), and laparoscopic appendectomy (LA). All adult patients who underwent appendectomy in our institution from 1995 to 2005 were included retrospectively. Patient data were retrieved from medical records, questionnaires sent by mail, and records of general practitioners. Primary outcome parameters were long-term complications, readmissions, and reinterventions (> 30 days postoperatively). Secondary outcome parameters were short-term complications, readmissions, and reinterventions (a parts per thousand currency sign30 days postoperatively). A total of 755 patients were included, 545 of whom underwent OA, with the remaining 210 undergoing LA. In the long term there were few complications noted, and there were no significant differences in complications between the two groups. Within 30 days postoperatively, LA was associated with a significantly higher incidence of abdominal abscesses with consequent diagnostic investigations, interventions, and readmissions. Although laparoscopic appendectomy is known to deliver clinical advantages, it is associated with a higher incidence of abdominal abscesses. Because the procedure is about to become the standard of care, future research must be directed at solving this issue. The expected lower incidence of incisional hernia and small bowel obstruction after laparoscopic appendectomy was not shown in the present stud

Verifying integer programming results

Software for mixed-integer linear programming can return incorrect results for a number of reasons, one being the use of inexact floating-point arithmetic. Even solvers that employ exact arithmetic may suffer from programming or algorithmic errors, motivating the desire for a way to produce independently verifiable certificates of claimed results. Due to the complex nature of state-of-the-art MIP solution algorithms, the ideal form of such a certificate is not entirely clear. This paper proposes such a certificate format designed with simplicity in mind, which is composed of a list of statements that can be sequentially verified using a limited number of inference rules. We present a supplementary verification tool for compressing and checking these certificates independently of how they were created. We report computational results on a selection of MIP instances from the literature. To this end, we have extended the exact rational version of the MIP solver SCIP to produce such certificates